es-frame(es;i;L;x;T) == vartype(i;x)  T & e@i. (kind(e)  L)  (x after e) = (x when e) 

latex

---

clarification:

es-frame(es;i;L;x;T)
== es-vartype(es; i; x)  T
== & alle-at(es;i;e.(es-kind(es; e)  L  Knd)  es-after(es; x; e) = es-when(es; x; e)  T) 

latex

Definitions	es-frame(es;i;L;x;T), A & B, vartype(i;x), e@i. P(e), P  Q, A, (x  l), kind(e), Knd, (x after e), x when e
FDL editor aliases	es-frame